Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Australien |
|---|---|
| Ort | Brisbane |
| Universität/Institution | University of Queensland (UQ) |
| Institut/Abteilung | School of Information Technology and Electrical Engineering |
Profil
| Fachgebiet | Theoretische Informatik,Softwaretechnik und Programmiersprachen,Rechnerarchitektur, eingebettete und massiv parallele Systeme |
|---|---|
| Keywords | formal verification, refinement, Object-Z, object orientation, formal specification |